các adv (dùng phụ trước danh từ) Every, all đủ các loại khác nhau...
định verb to fix; to appoint; to set; to assign vào giờ đã định a the...
lý noun reason; ground hợp lý reasonable Từ điển kỹ thuật mile...
bất noun Game of 36 cards (thường dùng làm yếu tố ghép trước trong một...
toàn conj all, as a whole Từ điển kinh doanh all bảo hiểm toàn tai...
của noun property; belongings; given kind of food bảo vệ của công to...
định lý noun theorem Từ điển kinh doanh theorem định lý Coarse Coarse...
bất toàn Từ điển kỹ thuật Lĩnh vực: y học incompetence Cụm từ quái thai không...
Câu ví dụ
Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system capable of modelling basic arithmetic. Các định lý bất toàn của Gödel là hai định lý nổi tiếng về logic toán học mô tả về giới hạn vốn có của mọi hệ thống rõ ràng chính thức có khả năng mô hình hóa số học cơ bản.
Employing a diagonal argument, Gödel's incompleteness theorems were the first of several closely related theorems on the limitations of formal systems. Sử dụng tranh luận đường chéo của Cantor, các định lý bất toàn của Gödel là hai trong số những định lý đầu tiên có sự liên hệ gần gũi về sự giới hạn của các hệ thống chính thức.
Employing a diagonal argument, Gödel’s incompleteness theorems were the first of several closely related theorems on the limitations of formal systems. Sử dụng tranh luận đường chéo của Cantor, các định lý bất toàn của Gödel là hai trong số những định lý đầu tiên có sự liên hệ gần gũi về sự giới hạn của các hệ thống chính thức.
Điện thoại